A BSP Algorithm for the State Space Construction of Security Protocols

International audienceThis paper presents a Bulk-Synchronous Parallel (BSP) algorithm to compute the discrete state space of structured models of security protocols. The BSP model of parallelism avoids concurrency related problems (mainly deadlocks and non-determinism) and allows us to design an efficient algorithm that is at the same time simple to express. A prototype implementation has been developed, allowing to run benchmarks showing the benefits of our algorithm

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

International audienceThis paper presents a distributed (Bulk-Synchronous Parallel or bsp) algorithm to compute on-the-fly whether a structured model of a security protocol satisfies a ctl {Mathematical expression} formula. Using the structured nature of the security protocols allows us to design a simple method to distribute the state space under consideration in a need-driven fashion. Based on this distribution of the states, the algorithm for logical checking of a ltl formula can be simplified and optimised allowing, with few tricky modifications, the design of an efficient algorithm for ctl {Mathematical expression} checking. Some prototype implementations have been developed, allowing to run benchmarks to investigate the parallel behaviour of our algorithms

Preparation, characterization, and safety evaluation of poly(lactide-co-glycolide) nanoparticles for protein delivery into macrophages.

International audienceFollowing infection, HIV establishes reservoirs within tissues that are inaccessible to optimal levels of antiviral drugs or within cells where HIV lies latent, thus escaping the action of anti-HIV drugs. Macrophages are a persistent reservoir for HIV and may contribute to the rebound viremia observed after antiretroviral treatment is stopped. In this study, we further investigate the potential of poly(lactic-co-glycolic) acid (PLGA)-based nanocarriers as a new strategy to enhance penetration of therapeutic molecules into macrophages. We have prepared stable PLGA nanoparticles (NPs) and evaluated their capacity to transport an active molecule into the human monocyte/macrophage cell line THP-1 using bovine serum albumin (BSA) as a proof-of-concept compound. Intracellular localization of fluorescent BSA molecules encapsulated into PLGA NPs was monitored in live cells using confocal microscopy, and cellular uptake was quantified by flow cytometry. In vitro and in vivo toxicological studies were performed to further determine the safety profile of PLGA NPs including inflammatory effects. The size of the PLGA NPs carrying BSA (PLGA-BSA) in culture medium containing 10% serum was ~126 nm in diameter, and they were negatively charged at their surface (zeta potential =-5.6 mV). Our confocal microscopy studies and flow cytometry data showed that these PLGA-BSA NPs are rapidly and efficiently taken up by THP-1 monocyte-derived macrophages (MDMs) at low doses. We found that PLGA-BSA NPs increased cellular uptake and internalization of the protein in vitro. PLGA NPs were not cytotoxic for THP-1 MDM cells, did not modulate neutrophil apoptosis in vitro, and did not show inflammatory effect in vivo in the murine air pouch model of acute inflammation. In contrast to BSA alone, BSA encapsulated into PLGA NPs increased leukocyte infiltration in vivo, suggesting the in vivo enhanced delivery and protection of the protein by the polymer nanocarrier. We demonstrated that PLGA-based nanopolymer carriers are good candidates to efficiently and safely enhance the transport of active molecules into human MDMs. In addition, we further investigated their inflammatory profile and showed that PLGA NPs have low inflammatory effects in vitro and in vivo. Thus, PLGA nanocarriers are promising as a drug delivery strategy in macrophages for prevention and eradication of intracellular pathogens such as HIV and Mycobacterium tuberculosis

Quantifying the relationship between SARS-CoV-2 viral load and infectiousness.

The relationship between SARS-CoV-2 viral load and infectiousness is poorly known. Using data from a cohort of cases and high-risk contacts, we reconstructed viral load at the time of contact and inferred the probability of infection. The effect of viral load was larger in household contacts than in non-household contacts, with a transmission probability as large as 48% when the viral load was greater than 1010 copies per mL. The transmission probability peaked at symptom onset, with a mean probability of transmission of 29%, with large individual variations. The model also projects the effects of variants on disease transmission. Based on the current knowledge that viral load is increased by two- to eightfold with variants of concern and assuming no changes in the pattern of contacts across variants, the model predicts that larger viral load levels could lead to a relative increase in the probability of transmission of 24% to 58% in household contacts, and of 15% to 39% in non-household contacts

Association of a schizophrenia-risk nonsynonymous variant with putamen volume in adolescents

Importance Deviation from normal adolescent brain development precedes manifestations of many major psychiatric symptoms. Such altered developmental trajectories in adolescents may be linked to genetic risk for psychopathology. Objective To identify genetic variants associated with adolescent brain structure and explore psychopathologic relevance of such associations. Design, Setting, and Participants Voxelwise genome-wide association study in a cohort of healthy adolescents aged 14 years and validation of the findings using 4 independent samples across the life span with allele-specific expression analysis of top hits. Group comparison of the identified gene-brain association among patients with schizophrenia, unaffected siblings, and healthy control individuals. This was a population-based, multicenter study combined with a clinical sample that included participants from the IMAGEN cohort, Saguenay Youth Study, Three-City Study, and Lieber Institute for Brain Development sample cohorts and UK biobank who were assessed for both brain imaging and genetic sequencing. Clinical samples included patients with schizophrenia and unaffected siblings of patients from the Lieber Institute for Brain Development study. Data were analyzed between October 2015 and April 2018. Main Outcomes and Measures Gray matter volume was assessed by neuroimaging and genetic variants were genotyped by Illumina BeadChip. Results The discovery sample included 1721 adolescents (873 girls [50.7%]), with a mean (SD) age of 14.44 (0.41) years. The replication samples consisted of 8690 healthy adults (4497 women [51.8%]) from 4 independent studies across the life span. A nonsynonymous genetic variant (minor T allele of rs13107325 in SLC39A8, a gene implicated in schizophrenia) was associated with greater gray matter volume of the putamen (variance explained of 4.21% in the left hemisphere; 8.66; 95% CI, 6.59-10.81; P = 5.35 × 10−18; and 4.44% in the right hemisphere; t = 8.90; 95% CI, 6.75-11.19; P = 6.80 × 10−19) and also with a lower gene expression of SLC39A8 specifically in the putamen (t127 = −3.87; P = 1.70 × 10−4). The identified association was validated in samples across the life span but was significantly weakened in both patients with schizophrenia (z = −3.05; P = .002; n = 157) and unaffected siblings (z = −2.08; P = .04; n = 149). Conclusions and Relevance Our results show that a missense mutation in gene SLC39A8 is associated with larger gray matter volume in the putamen and that this association is significantly weakened in schizophrenia. These results may suggest a role for aberrant ion transport in the etiology of psychosis and provide a target for preemptive developmental interventions aimed at restoring the functional effect of this mutation

Innate Immune Tolerance and the Role of Kupffer Cells in Differential Responses to Interferon Therapy Among Patients With HCV Genotype 1 Infection

In patients with hepatitis C virus (HCV) infection, interferon alfa (IFN-α) alters expression of IFN-stimulated genes (ISGs), but little is understood about factors that determine outcomes of therapy. We used a systems biology approach to evaluate the acute response of patients with chronic hepatitis C to IFN-α therapy

Vaccine breakthrough hypoxemic COVID-19 pneumonia in patients with auto-Abs neutralizing type I IFNs

Life-threatening `breakthrough' cases of critical COVID-19 are attributed to poor or waning antibody response to the SARS- CoV-2 vaccine in individuals already at risk. Pre-existing autoantibodies (auto-Abs) neutralizing type I IFNs underlie at least 15% of critical COVID-19 pneumonia cases in unvaccinated individuals; however, their contribution to hypoxemic breakthrough cases in vaccinated people remains unknown. Here, we studied a cohort of 48 individuals ( age 20-86 years) who received 2 doses of an mRNA vaccine and developed a breakthrough infection with hypoxemic COVID-19 pneumonia 2 weeks to 4 months later. Antibody levels to the vaccine, neutralization of the virus, and auto- Abs to type I IFNs were measured in the plasma. Forty-two individuals had no known deficiency of B cell immunity and a normal antibody response to the vaccine. Among them, ten (24%) had auto-Abs neutralizing type I IFNs (aged 43-86 years). Eight of these ten patients had auto-Abs neutralizing both IFN-a2 and IFN-., while two neutralized IFN-omega only. No patient neutralized IFN-ss. Seven neutralized 10 ng/mL of type I IFNs, and three 100 pg/mL only. Seven patients neutralized SARS-CoV-2 D614G and the Delta variant (B.1.617.2) efficiently, while one patient neutralized Delta slightly less efficiently. Two of the three patients neutralizing only 100 pg/mL of type I IFNs neutralized both D61G and Delta less efficiently. Despite two mRNA vaccine inoculations and the presence of circulating antibodies capable of neutralizing SARS-CoV-2, auto-Abs neutralizing type I IFNs may underlie a significant proportion of hypoxemic COVID-19 pneumonia cases, highlighting the importance of this particularly vulnerable population

Presentations of children to emergency departments across Europe and the COVID-19 pandemic: A multinational observational study

During the initial phase of the Coronavirus Disease 2019 (COVID-19) pandemic, reduced numbers of acutely ill or injured children presented to emergency departments (EDs). Concerns were raised about the potential for delayed and more severe presentations and an increase in diagnoses such as diabetic ketoacidosis and mental health issues. This multinational observational study aimed to study the number of children presenting to EDs across Europe during the early COVID-19 pandemic and factors influencing this and to investigate changes in severity of illness and diagnoses. Routine health data were extracted retrospectively from electronic patient records of children aged 18 years and under, presenting to 38 EDs in 16 European countries for the period January 2018 to May 2020, using predefined and standardized data domains. Observed and predicted numbers of ED attendances were calculated for the period February 2020 to May 2020. Poisson models and incidence rate ratios (IRRs), using predicted counts for each site as offset to adjust for case-mix differences, were used to compare age groups, diagnoses, and outcomes. Reductions in pediatric ED attendances, hospital admissions, and high triage urgencies were seen in all participating sites. ED attendances were relatively higher in countries with lower SARS-CoV-2 prevalence (IRR 2·26, 95% CI 1·90 to 2·70, p < 0.001) and in children aged <12 months (12 to <24 months IRR 0·86, 95% CI 0·84 to 0·89; 2 to <5 years IRR 0·80, 95% CI 0·78 to 0·82; 5 to <12 years IRR 0·68, 95% CI 0·67 to 0·70; 12 to 18 years IRR 0·72, 95% CI 0·70 to 0·74; versus age <12 months as reference group, p < 0.001). The lowering of pediatric intensive care admissions was not as great as that of general admissions (IRR 1·30, 95% CI 1·16 to 1·45, p < 0.001). Lower triage urgencies were reduced more than higher triage urgencies (urgent triage IRR 1·10, 95% CI 1·08 to 1·12; emergent and very urgent triage IRR 1·53, 95% CI 1·49 to 1·57; versus nonurgent triage category, p < 0.001). Reductions were highest and sustained throughout the study period for children with communicable infectious diseases. The main limitation was the retrospective nature of the study, using routine clinical data from a wide range of European hospitals and health systems. Reductions in ED attendances were seen across Europe during the first COVID-19 lockdown period. More severely ill children continued to attend hospital more frequently compared to those with minor injuries and illnesses, although absolute numbers fell. ISRCTN91495258 https://www.isrctn.com/ISRCTN91495258